#include<stdio.h>
int main() {
	printf("%d",5);
	return 0;
}